let compose f g x = (f (g x)) in
let succ x = x + 1 in
  (compose succ succ 3)
;;
